function $(id) {
	return document.getElementById(id);
}

function getStyle(element) {
	return element.currentStyle || document.defaultView.getComputedStyle(element, null);
}